Inhalt des Dokuments
Forschung
-
METHOD 2012 - Programmkomitee
Uwe Nestmann wurde zum Programmkomitee des"1st IEEE International Workshop on Methods for Establishing Trust with Open Data" (METHOD 2012) eingeladen.
-
CONCUR 2012 - Programmkomitee
Uwe Nestmann wurde zum Programmkomitee von CONCUR 2012 eingeladen.
-
FMOODS/FORTE 2012 - Programmkomitee
Uwe Nestmann wurde zum Programmkomitee von FMOODS/FORTE 2012 eingeladen.
-
IFIP WG 2.2 Meeting 2011 - Eingeladener Vortrag
Eingeladener Vortrag von Uwe Nestmann beim jährlichen Treffen der IFIP WG 2.2 Formal Description of Programming Concepts.
-
Artikel akzeptiert (EXPRESS 2011)
Artikel "Synchrony vs Causality in Asynchronous Petri Nets" akzeptiert für 18th International Workshop on Expressiveness in Concurrency (Co-Autoren Jens-Wolfhard Schicke, Kirstin Peters, Ursula Goltz)
-
Artikel akzeptiert (FORMATS 2011)
Artikel "Rigorous Discretization of Hybrid Systems Using Process Calculi" akzeptiert für 9th International Conference on Formal Modeling and Analysis of Timed Systems (Co-Autoren Sven Schneider, Uwe Nestmann)
-
Artikel akzeptiert (INFORMATIK 2011)
Artikel "Formale Modellierung von Access-Control-Policies in Dynamischen Koalitionen" akzeptiert für den GI-Workshop Datenmanagement und Interoperabilität im Gesundheitswesen auf der GI-Jahrestagung...